THE PSPACE-COMPLETENESS OF BLACK-WHITE PEBBLING : Foundations of Computer ScienceHERTEL, Philipp; PITASSI, Toniann.SIAM journal on computing (Print). 2010, Vol 39, Num 6, pp 2622-2682, issn 0097-5397, 61 p.Article

On interpolation and automatization for frege systemsBONET, Maria Luisa; PITASSI, Toniann; RAZ, Ran et al.SIAM journal on computing (Print). 2000, Vol 29, Num 6, pp 1939-1967, issn 0097-5397Article

INTEGRALITY GAPS OF 2 ― o(1) FOR VERTEX COVER SDPs IN THE LOVÁSZ―SCHRIJVER HIERARCHYGEORGIOU, Konstantinos; MAGEN, Avner; PITASSI, Toniann et al.SIAM journal on computing (Print). 2010, Vol 39, Num 7-8, pp 3553-3570, issn 0097-5397, 18 p.Article

Monotone circuits for the majority functionHOORY, Shlomo; MAGEN, Avner; PITASSI, Toniann et al.Lecture notes in computer science. 2006, pp 410-425, issn 0302-9743, isbn 3-540-38044-2, 1Vol, 16 p.Conference Paper

The efficiency of resolution and Davis-Putnam proceduresBEAME, Paul; KARP, Richard; PITASSI, Toniann et al.SIAM journal on computing (Print). 2002, Vol 31, Num 4, pp 1048-1075, issn 0097-5397Article

Bounded-depth Frege lower bounds for weaker pigeonhole principlesBURESH-OPPENHEIM, Josh; BEAME, Paul; PITASSI, Toniann et al.Annual Symposium on Foundations of Computer Science. 2002, pp 583-592, isbn 0-7695-1822-2, 10 p.Conference Paper